Variables Separated Polynomials , the Genus 0 Problem and Moduli

The monodromy method|featuring braid group action||rst appeared as a moduli space approach for nding solutions of arithmetic problems that produce reducible variables separated curves. Examples in this paper illustrate its most interesting aspect: investigating the moduli space of exceptions to a speciic diophantine outcome. Explicit versions of Hilbert's irreducibility theorem and Davenport's problem fostered this technique and motivated the genus 0 problem started by J. Thompson and taken up by many group theorists. We review progress on the genus 0 problem in 0 characteristic, and its quite diierent contributions in positive characteristic. Example: Let f and h be polynomials with coeecients in a number eld K. The classiication of nite simple groups shows there is a bound on exceptional degrees for f to the following result. If f is indecomposable and h is not a composition with f, then f(x) ? h(y) is irreducible. This answered challenge problems on factorization of variables separated polynomials posed by A. Schinzel in the early 60's. This limitation result holds, however, only in characteristic 0, one diierence between the Genus 0 Problem here and in positive characteristic. Finite eld example|Davenport's Problem: For each nite eld Fq there are innnitely many surprising polynomial pairs (f; h) (of degree prime to the characteristic) whose value sets are equal over F q t , t = 1; 2; : : :. Though we include unpublished results from 30 years ago, a new set of problems stretch the methods. Example of a general theme: Let M d be the elements of Q of degree no more than d over Q. The degree d reducibility set of f, R f (d) is R f (d) = fz 0 2 M d j f(y) ? z 0 is reducible over Q(z 0)g. Similarly, there is a value set V f (d) (degree 1 ber). Following a reduction due to G. Frey, for any integer d, there are polynomials f of unbounded degree satisfying R f (d) n V f (d) is nite. The full monodromy method nds precise arithmetic information by extending observations from modular curves. A semi-classical observation: Divisors with support in cusp points on modular curves generate a torsion group on the Jacobian of the curve. Illustrations here (from alternating group covers) show generalizations of this issue are ubiquitous with the monodromy method. Bob Guralnick has been a valuable consultant on several group theory points, the genus 0 …